2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
A Computational Logic (ACM monograph series)
Автор:
Robert S. Boyer
, Автор:
J. Strother Moore
Категория:
Математика
,
Вычислительная математика
Размер книги: 825 Kb
A Computational Logic Handbook (Perspectives in Computing)
Автор:
Robert S. Boyer
, Автор:
J. Strother Moore
Размер книги: 2.40 Mb
A computational logic
Автор:
Robert S. Boyer
, Автор:
J.Strother Moore
Категория:
Mathematical logic
Размер книги: 1.62 Mb
A computational logic
Автор:
Robert S. Boyer
, Автор:
J.Strother Moore
Размер книги: 858 Kb
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Автор:
J Strother Moore
Размер книги: 11.43 Mb
